大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Distributed Computing [electronic resource] : 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006. Proceedings

0
索取号：
作者：Dolev、 Shlomi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Security-ESORICS 2006 [electronic resource] : 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings

0
索取号：
作者：Gollmann、 Dieter.、Meier、 Jan.、Sabelfeld、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Pattern Recognition [electronic resource] : 28th DAGM Symposium, Berlin, Germany, September 12-14, 2006. Proceedings

0
索取号：
作者：Franke、 Katrin.、M眉ller、 Klaus-Robert.、Nickolay、 Bertram.、Sch盲fer、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Recent Advances in Intrusion Detection [electronic resource] : 9th International Symposium, RAID 2006 Hamburg, Germany, September 20-22, 2006 Proceedings

0
索取号：
作者：Zamboni、 Diego.、Kruegel、 Christopher.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Object-Oriented Metrics in Practice [electronic resource] : Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

0
索取号：
作者：Lanza、 Michele.、Marinescu、 Radu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Database and XML Technologies [electronic resource] : 4th International XML Database Symposium, XSym 2006 Seoul, Korea, September 10-11, 2006 Proceedings

0
索取号：
作者：Amer-Yahia、 Sihem.、Bellahs猫ne、 Zohra.、Hunt、 Ela.、Unland、 Rainer.、Yu、 Jeffrey Xu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithms-ESA 2006 [electronic resource] : 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings

0
索取号：
作者：Azar、 Yossi.、Erlebach、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Geodetic Deformation Monitoring: From Geophysical to Engineering Roles [electronic resource] : IAG Symposium Ja茅n, Spain March 17鈥Ṭ 2005

0
索取号：
作者：Sans貌、 Fernando.、Gil、 Antonio J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

0
索取号：
作者：Iglesias、 Andr茅s.、Takayama、 Nobuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

OMDoc-An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Allan Bundy

0
索取号：
作者：Kohlhase、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Star谩 Lesn谩, Slovakia, August 28-September 1, 2006. Proceedings

0
索取号：
作者：Kr谩lovi膷、 Rastislav.、Urzyczyn、 Pawe艂.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Static Analysis [electronic resource] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings

0
索取号：
作者：Yi、 Kwangkeun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Implications of Einstein-Weyl Causality [electronic resource]

0
索取号：
作者：Borchers、 Hans-J眉rgen.、Sen、 Rathindra Nath.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.

Automotive Software-Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

0
索取号：
作者：Broy、 Manfred.、Kr眉ger、 Ingolf H.、Meisinger、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

0
索取号：
作者：L枚we、 Welf.、S眉dholt、 Mario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

0
索取号：
作者：Misra、 Jayadev.、Nipkow、 Tobias.、Sekerinski、 Emil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.